Model Checking Research for LINUX Kernel Interprocess Communication LINUX内核进程间通信的模型检测研究
In the second and third chapter, the author will analyses the kernel of μ C/ OS-II and illustrates concretely how μ C/ OS-II perform it's basic function such as the management of time, task, memory and interprocess communication; 第二、三章简介嵌入式系统的基本原理并分析μC/OS-Ⅱ的系统内核,具体说明其时间管理,任务管理,进程间通讯,内存管理等基本功能如何实现;